valid argument logic